fa91d57804dd90f1fade6a36decc8bdab1a368c8,platform-impl/src/com/intellij/openapi/command/impl/UndoOrRedo.java,UndoOrRedo,getStack,#,273

Before Change


          long modificationStamp;
          if (docRef instanceof DocumentReferenceByDocument) {
            DocumentReferenceByDocument doc = (DocumentReferenceByDocument) docRef;
            modificationStamp = doc.getDocument().getModificationStamp();
          } else {
            modificationStamp = docRef.getFile().getModificationStamp();
          }

After Change


        if (!stack.isEmpty()) {
          long modificationStamp;
          Document doc = docRef.getDocument();
          modificationStamp = doc != null ? doc.getModificationStamp() : docRef.getFile().getTimeStamp();
          if (recentDocumentTimeStamp < modificationStamp) {
            result = stack;
            recentDocumentTimeStamp = modificationStamp;